#include "a.h"
#include <stdio.h>

char i = 0;

int main(int argc, char **argv)
{
	i = TEST_NUM;
	printf("i = %d\n", i);
	return 0;
}
